A Metaobject Protocol for Optimizing Application-Specic Run-Time Variability

Just-in-time compilers and their aggressive speculative optimizations reduced the performance gap between dynamic and static languages drastically. To successfully speculate, compilers rely on the program variability observed at run time to be low, and use heuristics to determine when optimization is bene€cial. However, some variability paŠerns are hard to capture with heuristics. Specifically, ephemeral, warmup, rare, and highly indirect variability are challenges for today’s compiler heuristics. As a consequence, they can lead to reduced application performance. However, these types of variability are identi€able at the application level and could be mitigated with information provided by developers. As a solution, we propose a metaobject protocol for dynamic compilation systems to enable application developers to provide such information at run time. As a proof of concept, we demonstrate performance improvements for a few scenarios in a dynamic language built on top of the Tru„e and Graal system. ACM Reference format: Guido Chari, Diego Garbervetsky, and Stefan Marr. 2017. A Metaobject Protocol for Optimizing Application-Speci€c Run-Time Variability. In Proceedings of ICOOOLPS’17, Barcelona , Spain, June 19, 2017, 5 pages. DOI: 10.1145/3098572.3098577